propositional logic ai